Abstract Data Types - 2501ICT/7421ICTNathan
نویسنده
چکیده
Data Types – Collections Collection Implementations Abstract Data Types 2501ICT/7421ICTNathanData Types 2501ICT/7421ICTNathan
منابع مشابه
Implicitly synchronized abstract data types: data structures for modular parallel programming
Abstract data types are used to control the complexity of developing serial programs. They promote modular programming by encapsulating state and operations on that state. In parallel environments abstract data types must also encapsulate the synchronization required to correctly sequence the invocation of specific operations. An abstract data type is implicitly synchronized if it completely en...
متن کاملMiranda: A Non-Strict Functional language with Polymorphic Types
data types Many of the data types which in other languages would have to be expressed as abstract data types can be represented in Miranda as algebraic data types with associated laws. Nevertheless there is still a need for abstract data types, as may be seen from the following example (which is based on a use of abstract data types in the LCF system [Gordon et al 79]).
متن کاملImplementation of Abstract Data Types in Dynamic Sketches for Learning Geometry
A long-term observation of students’ usage of a dynamic geometry in a classroom at all grade levels has challenged to develop an approach for learning and understanding mathematics in an easier way for both students and teachers. The paper deals with the results of a study that investigates the process and outcomes of the implementation of abstract data types in dynamic sketches (by composing s...
متن کاملAbstract Data Types without the Types
Data Types without the Types Philip Wadler (Edinburgh University, Scotland [email protected]) Dedicated to David Turner on the occasion of his 70’th birthday Abstract: The data abstraction mechanism of Miranda may be adapted to a dynamically typed programming language by applying ideas from gradual typing.
متن کاملThe Design and Implementation of the SELF Compiler, an Optimizing Compilet for Object-Oriented Programming Languages
data types [LZ74, LSAS77, LAB+81, LG86] provide a more expressive mechanism for describing and manipulating data structures. An abstract data type abstracts away from a concrete data type by providing a set of operations (the interface) through which clients are to manipulate objects of the type. The abstract data type is implemented in terms of some lower-level data type (the representation), ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012